$\forall$$T$:Type, $l$:$T$ List, $P$:($T$$\rightarrow$Prop). list\_all($x$.$P$($x$);$l$) $\Leftrightarrow$ ($\forall$$x$:$T$. ($x$ $\in$ $l$) $\Rightarrow$ $P$($x$))